


#include <kernel.h>

userid ID;

int main ()
{
	handle out;

	kernel_init ();

	ID = userid_request ();

	user_device_unix_init ();
	
	out = handle_request ("device.unix.stdout", ID);

	handle_writestring (out, "Well of course you can write to a terminal from sar-os!");

	handle_release (out);
	userid_release (ID);
}
